<html><body><div class="definition"><pre><span style="color:#000000;">y</span><span style="">: </span><span style="color:#000000;"><span style="color:#000080;"><a href="psi_element://#typename#int">int</a></span></span><span style=""> = </span><span style="color:#0000ff;">1</span></pre></div></body></html>